5.6 KB · ⇊ 2 parts · ⤓ Micron 5.6 KB · ⤓ HTML 14.3 KB

top

mwbqXSB è il nome di un dialetto del mwbglinguaggio di programmazione mwbwProlog. La sua implementazione è sviluppata presso la mwcaStony Brook University in collaborazione con la mwcqKatholieke Universiteit Leuven, la mwcgNuova Università di Lisbona, l'mwcwUniversità di Uppsala e il fornitore di software XSB.

XSB estende Prolog con il tabling e HiLog (estensione standard di Prolog che permette un limitato utilizzo di mwdqprogrammazione logica di ordine superiore).

L'implementazione XSB open source include un'mwdwinterfaccia per il mwealinguaggio di programmazione Java.

• Storia

• Sintassi

• Note

• Bibliografia

• Collegamenti esterni

XSB è stato originariamente sviluppato presso la Stony Brook University da David S. Warren, Terrance Swift e Kostis Sagonas. Era basato sul linguaggio SB-Prolog, anch'esso sviluppato alla Stony Brook University nel 1986.cite-ref-1[1]cite-ref-2[2] È un mwhalinguaggio di programmazione logica.

XSB supporta diversi mwhwtipi di dati del mwialinguaggio di programmazione standard come numeri mwiqinteri, numeri mwigfloating point e mwiwatomi.

Gli mwjqinteri in XSB possono essere interpretati in più basi. Di default gli interi sono interpretati in mwjgbase 10 ma possono essere interpretati in un intervallo di mwjwbasi da mwka2 a 36.cite-ref-3[3]

Gli atomi sono simili alle mwlgstringhe. Sono una sequenza di caratteri.

cite-note-11. ↑ mwnqmwngcs.sunysb.edu, mwnwhttp://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdfmwoa Titolo mancante per url mwoqurl (aiuto).

cite-note-22. ↑ mwpwmwqacs.cmu.edu, mwqqhttp://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.htmlmwqg Titolo mancante per url mwqwurl (aiuto).

cite-note-33. ↑ mwsqmwsgcs.sunysb.edu, mwswhttp://www.cs.sunysb.edu/~sbprolog/manual1/node38.htmlmwta Titolo mancante per url mwtqurl (aiuto).

• T. Swift e DS Warren (2011), mwuwmwvaXSB: Estendere il potere del Prolog usando Tabling mwvq . Teoria e pratica della programmazione logica (TPLP), Cambridge University Press, 2011.

• K. Sagonas e T. Swift e DS Warren (1994), mwvwmwwaXSB come efficiente motore di database deduttivo mwwq . Atti della Conferenza internazionale ACM SIGMOD sulla gestione dei dati, 1994.

• T. Swift e DS Warren (1995), mwwwmwxaUna macchina astratta per la risoluzione SLG: programmi definiti mwxq . Atti del Simposio sulla programmazione logica, 1995.

• mwyqXSB, su xsb.sourceforge.net.

• mwywXSB riassunto tecnico, su xsb.sourceforge.net.

• mwzqProgrammazione in Tabled Prologmwzg : bozza di un libro sulla programmazione XSB di David S. Warren della Stony Brook University

• mwaaIl manuale del programmatore di sistema XSB di Terrance Swift, David S. Warren e altri

• mwagInformazioni su Stony Brook Prolog, su cs.cmu.edu.